QUANT_BOUND_INST=false
QUANT_EAGER_MAX_DEPTH=50
QUANT_LAZY_MAX_DEPTH=50
MAM=4
DYNAMIC_ACKERMANN=true
PHASE_SELECTION=1


